11![EXPRESSMatching Systems for Concurrent Calculi Bjørn Haagensen1 Aalborg University Denmark EXPRESSMatching Systems for Concurrent Calculi Bjørn Haagensen1 Aalborg University Denmark](https://www.pdfsearch.io/img/de873488e3464f7777e9827e95640b48.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2009-08-14 07:09:04
|
---|
12![A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi](https://www.pdfsearch.io/img/7ec94efa5910837c77b5fa28a491f8e1.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 12:50:31
|
---|
13![Motivation Interleaving AVATAR Motivation Interleaving AVATAR](https://www.pdfsearch.io/img/a74f3eae2b7a2360461741be6bb4c360.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 13:24:52
|
---|
14![Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop](https://www.pdfsearch.io/img/0b21db153daa815335107ceadb066f6e.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:28:54
|
---|
15![Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/47ee5d91acbc665de48bb2a25c4259f3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-04 05:12:57
|
---|
16![fåîÉåíçêó ^ÅÅKVMUN pÅçííáëÜ=d~ÉäáÅ=qÉñíë=pçÅáÉíó k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ fåîÉåíçêó ^ÅÅKVMUN pÅçííáëÜ=d~ÉäáÅ=qÉñíë=pçÅáÉíó k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ](https://www.pdfsearch.io/img/60bd5497f64872a79e12ec05c4722b6e.jpg) | Add to Reading ListSource URL: www.nls.ukLanguage: Portuguese - Date: 2002-05-16 11:14:02
|
---|
17![Structural Normalisation Methods for Improving Best Answer Identification in Question Answering Communities Grégoire Burel, Paul Mulholland and Harith Alani Knowledge Media Institute, Open University, UK {g.burel, p.mu Structural Normalisation Methods for Improving Best Answer Identification in Question Answering Communities Grégoire Burel, Paul Mulholland and Harith Alani Knowledge Media Institute, Open University, UK {g.burel, p.mu](https://www.pdfsearch.io/img/a71989845fb28c4f20bdc2713efbbf32.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:49:36
|
---|
18![Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella](https://www.pdfsearch.io/img/78f2fe22141226d68bed77b54a6d99a1.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2012-09-24 08:45:19
|
---|
19![](https://www.pdfsearch.io/img/d1910231d00dfed600fcf26c71459f25.jpg) | Add to Reading ListSource URL: journal.wrocah.ac.ukLanguage: English |
---|
20![green wheat field and cloudy sky green wheat field and cloudy sky](https://www.pdfsearch.io/img/9f97064b84a53976df8d1754c1135d17.jpg) | Add to Reading ListSource URL: www.hmrc.gov.ukLanguage: English - Date: 2014-09-08 05:06:42
|
---|